9

Compositionality properties of SLD-derivations

Year:
1999
Language:
english
File:
PDF, 2.41 MB
english, 1999
10

Abstract diagnosis

Year:
1999
Language:
english
File:
PDF, 3.83 MB
english, 1999
11

Preface: Volume 48

Year:
2001
Language:
english
File:
PDF, 50 KB
english, 2001
12

A Theory of Observables for Logic Programs

Year:
2001
Language:
english
File:
PDF, 398 KB
english, 2001
14

The expressive power of CHR with priorities

Year:
2013
Language:
english
File:
PDF, 374 KB
english, 2013
17

Unfolding for CHR programs

Year:
2015
Language:
english
File:
PDF, 476 KB
english, 2015
22

Transformations of CCP programs

Year:
2001
Language:
english
File:
PDF, 828 KB
english, 2001
23

A compositional semantics for CHR

Year:
2009
Language:
english
File:
PDF, 276 KB
english, 2009